Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
41	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
42	Sample Evaluation Plan Review Activity Read the sample evaluation plan. Use the checklist below as a guide for reviewing the plan and its components. Introduction Overview of problem and program model Purpose and scope o Add to Reading List Source URL: www.volunteerwv.org Language: English - Date: 2015-11-19 14:11:10 Evaluation Impact assessment Evaluation methods Methodology Theory of change Logic model Program evaluation Public administration Systems analysis Impact evaluation
43	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
44	Comparing Argument Diagrams Collin Lynch,a Kevin Ashley, a, b, 1 and Mohammad Hassan Falakmasir a a University of Pittsburgh Intelligent Systems Program b University of Pittsburgh School of Law, Learning Research and Dev Add to Reading List Source URL: people.cs.pitt.edu Language: English - Date: 2015-09-28 15:47:40 Arguments Logic Critical thinking Philosophy Abstraction Thought Argumentation theory Debating Argument Counterargument Premise Object Process Methodology
45	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
46	OCJS will be hosting free specialized trainings in 2012: Basic Principles of Strategic Planning: This training session will cover information on strategic planning as it relates to infrastructure development and plannin Add to Reading List Source URL: www.ocjs.ohio.gov Language: English - Date: 2012-01-25 11:48:20 Logic model Evaluation Methodology Impact assessment United States Department of Health and Human Services Program evaluation Analysis Communities That Care
47	Program Specialisation and Abstract Interpretation Reconciled Michael Leuschel Report CW 259, May 1998 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Mathematics Geometry Algebra Incidence geometry Singularity theory Abstract interpretation Widening Logic Resultant Unfolding Oval
48	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
49	The Third MACSIM Johns Hopkins University, Apr ,  Program Breakfast, registration, poster set-up (Gilman Atrium) Talk session  (Gilman ) Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-12 16:22:57 Philosophy Logic Grammatical moods Conditionals Modality Metaphysics Semantics Linguistic modality Counterfactual conditional Causality Evidentiality Modal logic
50	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-09-09 04:58:26 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm